Repeating Patterns in Linear Programs that express NP-Complete Problems

نویسنده

  • Deepak Ponvel Chermakani
چکیده

One of my recent papers transforms an NP-Complete problem into the question of whether or not a feasible real solution exists to some Linear Program. The unique feature of this Linear Program is that though there is no explicit bound on the minimum required number of linear inequalities, which is most probably exponential to the size of the NP-Complete problem, the Linear Program can still be described efficiently. The reason for this efficient description is that coefficients keep repeating in some pattern, even as the number of inequalities is conveniently assumed to tend to Infinity. I discuss why this convenient assumption does not change the feasibility result of the Linear Program. I conclude with two Conjectures, which might help to make an efficient decision on the feasibility of this Linear Program.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Theorem 1: IP ≤p QP.

So far, we have used Integer Programs and their relaxation to Linear Programs, in order to obtain approximation algorithms for NP Complete problems. We will demonstrate how we can use Quadratic Integer Programs (QIP) for the same purpose, producing approximation algorithms for NP Complete problems, with better bounds than the previously devised algorithms. The general form of a QIP is the follo...

متن کامل

NP-Completeness of deciding the feasibility of Linear Equations over binary-variables with coefficients and constants that are 0, 1, or -1

We convert, within polynomial-time and sequential processing, NP-Complete Problems into a problem of deciding feasibility of a given system S of linear equations with constants and coefficients of binary-variables that are 0, 1, or -1. S is feasible, if and only if, the NP-Complete problem has a feasible solution. We show separate polynomialtime conversions to S, from the SUBSET-SUM and 3-SAT p...

متن کامل

On Sets with Cardinality Constraints in Satisfiability Modulo Theories

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier-free BAPA (QFBAPA). Deciding the satisfiability of QFBAPA formulas has been shown to be NP-complete using an eager reduction to quantifier-fr...

متن کامل

CS 2429 - Foundations of Communication Complexity

Linear programming is a very powerful tool for attacking hard combinatorial optimization problems. Methods such as the ellipsoid algorithm have shown that linear programming is solvable in polynomial time. Linear programming also plays a central role in the design of approximation algorithms. In fact, it is known that linear programming is P-complete, and this implies that if NP = P then for ev...

متن کامل

Solving Linear Programs in MapReduce

Most interesting discrete optimization problems are NP-hard, thus no efficient algorithm to find optimal solution to such problems is likely to exist. Linear programming plays a central role in design and analysis of many approximation algorithms. However, linear program instances in real-world applications grow enormously. In this thesis, we study the Awerbuch-Khandekar parallel algorithm for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1003.1164  شماره 

صفحات  -

تاریخ انتشار 2010